pdnf and pcnf using truth table